<?php

$libraries = array(
	'AssignmentOperators',
	'BasicOperators',
	'BinaryOperators',
	'ComparisonOperators',
	'Settings',
	'StandardConstants',
	'StandardFunctions',
	'ProbStatFunctions',
);

?>